What about Seismic Stratigraphic Unit as a formal unit

What Is Known about Unit Cubes

Unit cubes, from any point of view, are among the simplest and the most important objects in n-dimensional Euclidean space. In fact, as one will see from this survey, they are not simple at all. On the one hand, the known results about them have been achieved by employing complicated machineries from Number Theory, Group Theory, Probability Theory, Matrix Theory, Hyperbolic Geometry, Combinator...

On a coloring conjecture about unit fractions

We prove an old conjecture of Erdős and Graham on sums of unit fractions: There exists a constant b > 0 such that if we r-color the integers in [2, br ], then there exists a monochromatic set S such that ∑ n∈S 1/n = 1.

Generating Unit Tests from Formal Proofs

We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit format are generated automatically. The advantages of the approach are: (i) it exploits the full information available in the IUT and in its formal model giving very good hybrid coverage; (ii) a non-trivial formal mod...

The Honey Creek Member: A New Holocene Alluvial Stratigraphic Unit in the Midwest

Formal Verification of a Superscalar Execution Unit 1

Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against the simple deterministic high-level specification of the entire system. Our verification methodology, based on Symbolic Trajectory Evaluation, is able to bridge the wide gap between the abstract specification and the i...